Kurs:Funktionentheorie/Kurve im R^n/Stetig differenzierbar/Rektifizierbar/Fakt/Faktreferenznummer

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