Anfonwch hwn fel neges destun: Proof Methods for Corecursive Programs