Use is_squarefree in is_prime_lenstra.