Théorème
Soit une fonction admettant une primitive sur .
La fonction définie sur par avec R est une primitive de sur .
Toutes les primitives de sur sont de ce type.
Une fonction continue sur admettant une primitive sur , admet donc une infinité de primitives sur .