Bài tập 3, § 4

Chứng minh rằng nếu một tập được sắp thứ tự tốt E sao cho tập hợp có thứ tự thu được bằng cách trang bị cho E thứ tự đối cũng được sắp thứ tự tốt, thì E là hữu hạn (hãy xét phần tử lớn nhất $x$ của E sao cho đoạn $\mathrm{S}_x$ là hữu hạn).