Tenga en cuenta que cualquier conjunto no vacíoS de números enteros con un límite inferior se puede transformar mediante la adición de un enterob∈N0 en una entrada no vacíaS+b\(N_{0...Tenga en cuenta que cualquier conjunto no vacíoS de números enteros con un límite inferior se puede transformar mediante la adición de un enterob∈N0 en una entrada no vacíaS+bN0. El quid de la siguiente prueba es que tomamos un intervalo y lo escalamos hasta que sepamos que hay un entero en él, y luego lo escalamos de nuevo hacia abajo.
