Primality Testing and Factorization