Démonstration des opérations sur les fonctions dérivées