Kurs:Analysis/Differenzierbar/D in R/Rechenregeln/Fakt/Faktreferenznummer

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