DejarT consistir en todos los enteros mayores o iguales a losa que no están enS. El teorema se probaráT=∅. siT≠∅ entonces por el principio de ordenamiento del ...DejarT consistir en todos los enteros mayores o iguales a losa que no están enS. El teorema se probaráT=∅. siT≠∅ entonces por el principio de ordenamiento del pozo, tendría que existir un elemento más pequeño deT, denotado comob. Debe darse el caso de que b>aya que por definición,a∉T. Asíb≥a+1, y asíb−1≥a yb−1∉S porque sib−1∈S, entoncesb−1+1=b∈S por la supuesta propiedad deS. Por lo tan…