[Práctico 4] Fixpoint