Entonces formula_174 si y sólo si formula_199 para cualesquiera formula_200 y formula_201 de formula_126."