Primality Testing in Polynomial Time