>>482
右辺 ≧ 3^1 + 1 = 4　なので左辺は4の倍数
そこで　p = 4m±1　とおいて，2以上の y についての帰納法で
右辺 ≡ 2 （mod4）　となることを示せばよい