Αποστολή με SMS: Proof Methods for Corecursive Programs