Hola. Una vez formalizado el enunciado la demostración salió en 2 tácticas. Una fue usar una de las tácticas que está en la letra del práctico y la segunda fue reflexivity. La idea era que saliera tan fácil o alguno de esos pasos es trampa? Me está pasando lo mismo con el 6.
Saludos,
Gabriel