Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Reelle positive Zahl/Wurzeln/Eindeutige Existenz/Fakt/Faktreferenznummer