De modo que se puede obtiener derivando formalmente a ambos lados de la definición y tomando formula_7,