Man gebe einen Restklassenring Z / ( d ) {\displaystyle {}\mathbb {Z} /(d)} an, in dem es nichttriviale idempotente Elemente gibt.