Existe un conjunto formula_17 tal que formula_41 y tal que si formula_42, entonces formula_43.