Polynomring/Eine Variable/Variablenwechsel/Fakt/Beweis
Beweis
Die Einsetzungshomomorphismen zu und definieren aufgrund von Fakt jeweils einen Ringhomomorphismus und von nach , die wir hintereinander schalten:
Bei diesem Ringhomomorphismus bleiben die Elemente aus unverändert, und die Variable wird insgesamt auf
geschickt. Daher muss die Verknüpfung aufgrund der Eindeutigkeit in Fakt die Identität sein. Dies gilt auch für die Hintereinanderschaltung in umgekehrter Reihenfolge, sodass ein Isomorphismus vorliegt.