Puesto que A es finito, no puede contener todos los enteros positivos, de modo que tiene que haber un número entero positivo "N" que sea el menor de todos los números enteros positivos que no están contenidos en A.