A la inversa, suponemos que formula_6.