formula_10, usando la definición, llegamos a que: