Dilworth's Theorem

See Dilworth's Lemma