Sei ${\displaystyle {}I}$ ein reelles Intervall und sei

${\displaystyle f\colon I\longrightarrow \mathbb {R} }$

eine Funktion. Es seien ${\displaystyle {}F}$ und ${\displaystyle {}G}$ zwei Stammfunktionen von ${\displaystyle {}f}$.

Dann ist ${\displaystyle {}F-G}$ eine konstante Funktion.