Kurs:Analysis/Differenzierbare Funktion/Intervall/Konvexität und zweite Ableitung/Fakt/Faktreferenznummer

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