Veamos que está bien definida, es decir, que formula_12 como se ha requerido: