Enviar aquest missatge de text: Proof Methods for Corecursive Programs