Dilworth's theorem