Sea entonces "T" un subconjunto totalmente ordenado de "P"; se demostrará que "T" tiene cota superior, es decir, hay un ideal "I" ⊆ "R" que contiene a todos los miembros de "T", pero que no es igual a "R" (de lo contrario no estaría en "P").