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
.