Es sei p {\displaystyle {}p} eine ungerade Primzahl und a ∈ Z / ( p ) {\displaystyle {}a\in \mathbb {Z} /(p)} primitiv.