A $H$ halmaz elemei olyan véges sorozatok, amelyek elemei $1$, $2$ és $3$ közül kerülnek ki, továbbá egyik $H$-beli sorozat sem részsorozata egyetlen másik $H$-beli sorozatnak sem. Igazoljuk, hogy $H$ véges. (Az $\left(a_1\mathrm{,}\text{...}\mathrm{,}{a}_n\right)$ sorozat részsorozatai az $\left(a_{i_1}\mathrm{,}\text{...}\mathrm{,}{a}_{i_k}\right)$ alakú sorozatok, ahol $0\le k\le n$ és $i_1<\text{...}<i_k$.)