Soit la fonction définie sur par . est dérivable donc continue sur , de plus , par conséquent la fonction est l'unique primitive sur de la fonction s'annulant en .

Par définition des primitives, est dérivable sur et pour tout de , .

Soit la fonction définie sur par . est dérivable donc continue sur par conséquent la fonction est l'unique primitive sur de la fonction s'annulant en .

Par définition des primitives, est dérivable sur et pour tout de , .