>>22
簡単のため p=p_i, a=a_i=2x+1 と略記すると
　1+p+p^2+…+p^a
　≡1+p+1+p+…+1+p (∵p^2≡(1 mod 4))
で、右辺には 1+p が x+1 個現れるから