← PRIMES is in P