Siendo formula_18 una nueva constante desconocida, formula_19, así