The 'Primality Certificate' is a short piece of data that allows anyone to verify that a number is prime in polynomial time. Which test naturally produces such certificates?