Kurs:Analysis/Stetige Kurve/Euklidisch/Integralabschätzung/Fakt/Faktreferenznummer

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