định nghĩa một xích là $1$ dãy các tập hợp $(A_{a_1};A_{a_2};...;A_{a_t})$ thoả mãn $0<a_1<a_2<...<a_t<T+1$ và $A_{a_i}\subset A_{a_{i+1}} \forall 1\leq i\leq t-1$. Với mỗi tập $A_i$, gọi $f(A_i)$ là xích dài nhất nhận $A_i$ là tập đầu tiên trong xích. Giả sử mọi xích đều có độ dài $\leq n-1$ thì lúc đó tồn tại $n$ tập $A_{b_i} \forall i=\overline{1,n}$ thoả mãn $f(A_{b_i})=f(A_{b_j}) \forall i,j=\overline{1,n}$. Nếu tồn tại $i;j$: $1\leq i< j\leq n$ để $A_{b_i}\subset A_{b_j}$ thì $f(A_{b_i})\geq f(A_{b_j})+1$ (vô lí). Vì vậy $n$ tập trên không thoả mãn đề bài, suy ra giả sử sai. Vậy tồn tại $1$ xích độ dài $n$, nhận $A_t$ làm tập cuối cùng trong dãy. Lúc đó $\left | A_t \right |\geq n\Rightarrow A_t=A$.
- Karl Heinrich Marx yêu thích