Sei g g T ( Q , n ) = 1 {\displaystyle {}{ggT}(Q,n)=1} . Es existiert ein d ≥ 1 {\displaystyle {}d\geq 1} , sodaß die Menge G = { t ∣ U t ≡ 0 mod n } {\displaystyle {}G=\{t\mid U_{t}\equiv 0\mod n\}} und G {\displaystyle {}G} hat die Form G = d ⋅ N {\displaystyle {}G=d\cdot \mathbb {N} } .