Buenas.
El ejercicio 3 es para entregar, y hay que hacer dos soluciones diferentes. El problema que tengo es que no puedo hacer dos soluciones con el template que nos dieron. En la clase hablaron del "Restart". No hay problema en la correcion si hago esto:
Theorem 3
Proof.
....
(sin el Qed)
Restart.
Proof.
...
Qed.