Normales Schema/Affine Eigenschaft/Fakt/Beweis
Beweis
Von (2) nach (3) ist eine Einschränkung. Es sei (3) erfüllt. Für einen jeden Punkt gibt es somit eine offene affine Umgebung
mit normal. Dabei ist mit einem Primideal aus . Nach Fakt ist ebenfalls normal.