formula_12 serán formula_19.