Monomiale Kurvenabbildung/Bijektiv/Fakt

Es sei ein durch teilerfremde natürliche Zahlen erzeugtes Untermonoid.

Dann ist die monomiale Abbildung

eine Bijektion.