Hilbertscher Nullstellensatz/Korrespondenz/Primideal/Fakt