Es sei I{\displaystyle {}I} ein reelles Intervall und sei
eine stetige Funktion.
Dann besitzt f{\displaystyle {}f} eine Stammfunktion.