Se sabe que formula_25, pero también es cierto que formula_26 o formula_27.