Ayuda con los teoremas 1.4.19 y 1.4.20

Veo que estáis teniendo problemas con los teoremas 1.4.19 y 1.4.20. Es la primera vez que os enfrentáis a una escritura formal, a una escritura argumentativa, y esas dificultades son normales. Os dejo los teoremas probados en el siguiente documento.