how do you show that -1 congruent to x^4 is solvable iff (-1) ^(p-1/d) mod p where d =gcd(4,p-1)?