Kurs:Analysis/Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt/Faktreferenznummer

Satz 13.7 (Analysis (Osnabrück 2021-2023))