Man konstruiere zu jedem n ∈ N + {\displaystyle {}n\in \mathbb {N} _{+}} einen kommutativen Ring R {\displaystyle {}R} der Charakteristik 0 {\displaystyle {}0} derart, dass es in R {\displaystyle {}R} ein Element der Ordnung (bezüglich der additiven Struktur) n {\displaystyle {}n} gibt.
