この資料をSMS送信: Proof Methods for Corecursive Programs