http://www.dotup.org/uploda/www.dotup.org0346.png
http://www.dotup.org/uploda/www.dotup.org0349.png

分からない箇所は上のURLの画像にのみありますが
証明を中途半端にうpするのもあれなので全部うpしました

上のURLの画像をご覧ください
下から5行目に

(x+1)(p_i+1)≡2 (mod4)と書ける.

とありますがこの左辺の式はどのようにして出てきたのでしょうか?