Which property of primes is utilized in the Miller-Rabin primality test?
Wilson's Theorem
The existence of primitive roots
The fact that x2≡1(modp)x^2 \equiv 1 \pmod px2≡1(modp) has only two solutions 1,−11, -11,−1 for prime ppp
The Prime Number Theorem