Escribiremos a_formula_4 o si queremos