( P-5 ) formula_76 y formula_77 si y solo si formula_78