Verificar si un número es primo