Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Reelle positive Zahl/Wurzeln/Eindeutige Existenz/Fakt/Faktreferenznummer

Satz 48.7 (Grundkurs Mathematik (Osnabrück 2022-2023))