Hola Bruno, la propiedad "técnicamente" está correcta, en el sentido que si lográs probarla, estaría probando lo que pide el ejercicio.
Sin embargo, se te va a complicar.
Lo que te puedo sugerir es que reescribas la propiedad para que sea más fácil de probar.
Pensá esto:
Si tenés:
no tenés mucha información sobre .
Sin embargo, si tenés:
tenés más información sobre : sabés que sólo puede ser igual a .
Entonces, la idea es evitar hacer la inducción en que es la fórmula "más chica" de la transitiva, y hacer inducción en la más grande, reordenando los para todo.
Saludos
Bárbaro, ya vi que Beta aporta mas info, gracias!