Kurs:Analysis (Osnabrück 2021-2023)/Reelle Analysis/Nullstellensatz/Fakt/Faktreferenznummer