Pratt's primality certificates establish coNP membership for PRIMES only because of deep number-theo...