Kurs:Analysis/Intervall/Stammfunktion/Konstante Differenz/Fakt/Faktreferenznummer

Lemma 24.6 (Analysis (Osnabrück 2021-2023))