Esta es la definición formal de función derivada.