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

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