Beweis
Wir schreiben
-
mit von verschiedenen Elementen . Die Primfaktorzerlegungen dieser Elemente seien
und ,
wobei die nicht untereinander assoziiert seien, und Einheiten sind. Dann ist
-
eine Darstellung der gewünschten Art. Wenn zwei Darstellungen
-
gegeben sind, so erhält man durch Multiplikation mit für hinreichend großes , dass links und rechts alle Exponenten positiv werden. Aus der Faktorialität folgt daraus
für alle und damit auch
.