X có 2^n phần tử. Chia thành các tập con đôi 1 ko giao nhau. giả sử A B là con X. nếu số ptử của A ko lớn hơn số ptử thì dc chuyển từ A vào B số phần tử = của B. Cm sau 1 số lần hữu hạn ta nhận lại X