Reelle Analysis/Nullstellensatz/Fakt/Beweis