Kurs:Analysis/Reelle Funktion/Extremum/Zweite Ableitung/Fakt/Faktreferenznummer

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