Ta xét phần tử 1, nếu 1 \in A
x\in B \Rightarrow x+1 \in B
Tương tự như thế x+2 , x+3 , \cdots \in B
Từ đó suy ra A chỉ có thể chứa các phần tử 1,2 ,\cdots , x-1 là hữu hạn phần tử, nên trái giả thiết vô hạn phần tử như đề cho.
Suy ra 1\in B.
Xét phần tử 2,
TH1: 2 \in A
Mà 1\in B \Rightarrow 3...