Redirecting to Fermat primality test