Es sei ein idempotentes Element. Dies bedeutet
-
und somit ist ein Vielfaches von , sagen wir
-
Nehmen wir an. Wegen der eindeutigen Primfaktorzerlegung in ist
-
und
-
mit
-
Wären , so wäre sowohl
als auch
ein Vielfaches von , und das würde dann auch für
gelten, was nicht der Fall ist. Also ist
oder ,
was
oder
im Restklassenring
bedeutet.