Enviar aquest missatge de text: Proof Methods for Structured Corecursive Programs