Kurs:Analysis/Reelle Funktion/Offenes Intervall/Lokales Extremum/Differenzierbar/Ableitung null/Fakt/Faktreferenznummer

Satz 19.1 (Analysis (Osnabrück 2021-2023))