formula_6 domina estrictamente a formula_7 si