Several elegant inductive proofs of Dilworth's theorem can be found in the literature. In this note, I present another inductive proof with an algorithmic flavor based on a merging lemma.

翻译：文献中可找到若干种Dilworth定理的优美归纳证明。本文基于一个合并引理，给出另一种具有算法风格的归纳证明。