Supongamos que sólo hay una cantidad finita de números primos, digamos p1, p2, .