Cтраница 4
Каждое вполне-упорядочение имеет в точности один порядковый тип. [46]
Тип-диапазон представляет собой диапазон значений из порядкового типа, называемого главным типом. [47]
Третье утверждение очевидно, так как искомым порядковым типом обладает упорядоченное со-произведение К циклических и е рациональных групп. [48]