Wir schreiben
-

und
-

Wenn
ein Teiler von
ist, so gilt
mit einem
.
Es ist dann nach dem allgemeinen Distributivgesetz

da jedes
zwischen
und
nach der Division mit Rest eine eindeutige Darstellung als
-

mit den angegebenen Bedingungen für
und
besitzt.
Wenn
kein Teiler von
ist, so gilt
mit einem
und
.
Es ist dann

Der linke Summand ist ein Vielfaches von
aufgrund der Hinrichtung. Nehmen wir an, dass
ein Vielfaches von
wäre. Dann wäre auch der rechte Summand, also
, ein Vielfaches von
. Dann müsste
ein Vielfaches von
sein, da die Zehnerpotenz und
teilerfremd sind. Dies kann wegen
nicht sein.