Jelöljük an-nel az (x2+x+1)n polinomban az xn együtthatóját. Igazoljuk, hogy tetszőleges p>3 prímszám esetén ap≡1(modp2).