Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und sei
Dann gibt es eine kanonische Isomorphie von Ringen