Como justificar uma derivada?