Das Polynom heiße p.
Die Summenformel für die geometrische Reihe liefert
p=X−1X9−1. Die Nullstellen des Zählers =1
sind gerade die 9-ten Einheitswurzeln =1.
Ist nun ζ eine primitive 9-te Eiheitswurzel, so ist
ζ3 eine primitive 3-te Einheitswurzel, die bekanntermaßen
Nullstelle von X2+X+1 ist, woraus
0=(ζ3)2+(ζ3)+1=ζ6+ζ3+1 folgt.
Man überzeugt sich leicht davon, dass p durch X6+X3+1 teilbar ist.