Notemos que formula_106 si y sólo si formula_107, o puesto de otro modo, formula_108 si y sólo si formula_107.