formula_7 implica que