Kurs:Analysis/Reelle Sinus und Kosinusfunktion/Ableitung/Fakt/Faktreferenznummer

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