Si formula_12, entonces formula_5 y además existe un formula_3 de manera que formula_4.