Ta có: p là số nguyên tố lớn hơn 3
=>p không chia hết cho 3
TH1: p=3m+1 (m thuộc N)
=>p2=(3m+1)2=3m(3m+1)+(3m+1)=9m2+3m+3m+1=3(3m2+2m)+1
=>p2 chia 3 dư 1
TH2: p=3n+2 (n thuộc N)
=>p2=(3n+2)2=3n(3n+2)+2(3n+2)=9n2+6n+6n+4=3(3n2+4n+1)+1
=>p2 chia 3 dư 1
Vậy p2 luôn chia 3 dư 1 (với p là SNT >3)
=>p2-1 chia hết cho 3(đpcm)