Der
Restklassenkörper
-
ist nach
Fakt
eine
endliche Körpererweiterung
von . Unter dem Restklassenhomomorphismus
-
geht auf ein Element
.
Diesen kann man zu einem
-Algebrahomomorphismus
-
erweitern. Dessen Kern ist das Punktideal
-
Da das Diagramm
-
kommutiert, ist
.