SMS versenden: Proof Methods for Corecursive Programs