Demostración sobre derivadas de funciones