Para cada formula_44, se dé que: formula_45 , para cada formula_46