Si formula_66, tenemos que formula_67, cualquiera que sea el formula_55.