أرسل هذا في رسالة قصيرة: Proof Methods for Structured Corecursive Programs