La demostración consiste en suponer un conjunto finito de números primos.