お助けを・・・

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

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

どう攻めていけば良いのでしょうか・・・