Man kann die Gleichung zu
umschreiben. Da f {\displaystyle {}f} ein Nichtnullteiler ist, ist x − y = 0 {\displaystyle {}x-y=0} , also x = y {\displaystyle {}x=y} .