Entonces formula_4 si y sólo si formula_29 para cualesquiera formula_30 y formula_31 de formula_2."