Kurs:Analysis/Sinus und Kosinus/Komplex/Eigenschaften/Fakt/Faktreferenznummer

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