Es ist
und
Für einen Ringhomomorphismus müsste
gelten. Die Bedingung
erzwingt
oder
ohne Einschränkung sei das erste der Fall. Wegen
und wegen
ist
und somit ist
Wegen