A simple proof of a theorem of Dilworth - Ganter, Bernhard 1949-; Rival, Ivan (Techn. Hochsch., 1973)