 He did not publish the result but it appears as an exercise credited to him in Birkhoff 1948.The first published proof is in Grätzer and Schmidt 1962.Theorem (Dilworth ≈1940, Grätzer and Schmidt 1962).