Sätze

Folgerung
Sei chines : $\mbox{$\mathbb Z /{m} \mathbb Z$}$×$\mbox{$\mathbb Z /{n} \mathbb Z$}$ $\rightarrow$ $\mbox{$\mathbb Z /{mn} \mathbb Z$}$ wie oben definiert. Dann ordnet chines je zwei verschiedenen Zahlenpaaren aus dem Definitionsbereich zwei verschiedene Bilder zu, und jedes Element aus $\mbox{$\mathbb Z /{mn} \mathbb Z$}$ kommt tatsächlich als Bild von chines vor. Man sagt, chines ist bijektiv.