Dedekind-Peano-Modell/Isomorphismus/Addition/Aufgabe

Es seien und Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei

der eindeutig bestimmte Isomorphismus mit und für alle . Zeige, dass die Addition respektiert, dass also

für alle gilt.