Lema según el cual todo conjunto S no vacío, ordenado inductivamente, existe un elemento maximal.