Es sei n ∈ N {\displaystyle {}n\in \mathbb {N} } . Der Restklassenring Z / ( n ) {\displaystyle {}\mathbb {Z} /(n)} ist genau dann ein Körper,
wenn n {\displaystyle {}n} eine Primzahl ist.