de donde se resuelve que formula_30.