A combinatorial lemma - Ganter, Bernhard 1949-; Teirlinck, Luc (Preprint, 1976)