Kurs:Analysis/Polynom/Betrag nimmt Minimum an/Fakt/Faktreferenznummer

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