Demostración: Como la proposición implica una bicondicional (formula_85), tenemos que demostrar primero en un sentido y después en el otro, es decir, primero demostraremos que formula_86 y luego deberemos demostrar que formula_87.