Nótese que siempre se tiene que formula_78.