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.