Supóngase que existe un número finito de números primos.