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