Entonces, formula_397 implica que formula_398, es decir que