Mi primera pregunta es si esta es la forma correcta de definir la propiedad:
Suponiendo que está definida correctamente, ¿cuál sería una forma correcta de encarar las demostraciones?
Por ejemplo, en el paso base P( pi ):
Intuitivamente y por lo demostrado en el ejercicio 4, necesito formar para formar
.
está incluido en
y
entonces está incluida en
.
Pero no sabría como redactarlo bien.