Es importante definir formula_19 para que se pueda cumplir la importante propiedad de que: