Hauptsatz der Infinitesimalrechnung/Fakt