Si is_even_prime(2) no es verificada, entonces se trata is_even_prime(N).