Niech p będzie liczbą pierwszą taką, że p = 4k + 1, dla pewnego k będącego liczbą całkowitą. Wiadomo, że grupa multiplikatywna Zp zawiera 4k elementów. Również można dowieść, że ta grupa jest izomorficzna z grupą C4k. Stąd wiemy, że Zp jest generowana przez jeden element. Weźmy k należące do Zp. Wiadomo, że rząd elementu k jest równy 4. Weźmy jakiś element, który jest rzędu 4, nazwijmy go