Es ist
Wegen
modulo 19 {\displaystyle {}19} besitzt X 3 − 3 X + 1 {\displaystyle {}X^{3}-3X+1} eine Nullstelle. Daraus folgt