Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt/Faktreferenznummer