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