a^((p-1)/2) mod p = -1 for p>0