Wenn die rationale Zahl die Form besitzt, so kann man mit erweitern und erhält im Nenner , sodass ein Dezimalbruch vorliegt. Es sei nun die rationale Zahl
-
in gekürzter Darstellung gegeben, und sei vorausgesetzt, dass in der Primfaktorzerlegung von eine Primzahl
-
vorkommt. Wir schreiben
-
Nehmen wir an, dass die Zahl ein Dezimalbruch ist, dann gibt es eine Gleichung der Form
-
Dies bedeutet nach dem Überkreuzprinzip, dass
-
ist. Wegen der Teilerfremdheit ist
kein Teiler von
, müsste also wegen der eindeutigen Primfaktorzerlegung in
vorkommen, was aber nicht der Fall ist. Dies ist ein Widerspruch.