Entonces formula_3 si y sólo si formula_9 y formula_10.