いつもお世話になっております。

[問] Let p≡2(mod3)…【1】 and E_1:y^2=x^3+17 be an elliptic curve of
variables x and y.  Then #{(x,y)∈Z^2; y^2≡x^3+17(mod p)}=p.という問題で質問です。

http://beauty.geocities.jp/yuka26076/study/Number_Theory/elliptic_curve_modulo_p_1.JPG
http://beauty.geocities.jp/yuka26076/study/Number_Theory/elliptic_curve_modulo_p_2.JPG

という風に途中まで行けました。
最後の部分が2・(p-1)/2+1=pとなる予定だったのですが
頭の"2"がどこから来るのか分かりません。

どうすればいいのでしょうか?

吉田京子