Kurs:Analysis/Polynomfunktion/R/Stetig/Fakt/Faktreferenznummer

Korollar 12.8 (Analysis (Osnabrück 2021-2023))