>>503ですが書き間違いが・・・

p(>2)：素数　　　aが mod p で0と合同でないとき
a^{(p-1)/2}≡1 または　a^{(p-1)/2}≡-1
が成り立つ

さてある整数b(≠0)があって　a≡b^2 mod p となっているとき
a^{(p-1)/2}≡1 mod p
となることを示せ


ですm(_ _)m