Deux primitives d'une même fonction sur un intervalle diffèrent d'une constante. Autrement dit, si une fonction
f admet deux primitives
\text{F}_1 et
\text{F}_2 sur
\text{I,} alors il existe une constante
k telle que
\text{F}_1 = \text{F}_2 + k.
Lorsqu'une fonction f admet une primitive \text{F} sur \text{I,} elle admet une infinité de primitives données par \text{F} + k, k \in \R.