Satz 7.4 Kurs:Analysis (Osnabrück 2013-2015)/Teil I/Vorlesung 7
Reelle positive Zahl/Quadratwurzel/Eindeutige Existenz/Fakt
