Kurs:Analysis/Komplexe Zahlen/Konvergente Folgen/Rechenregeln/Fakt/Faktreferenznummer

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