 This says that α ∧ (β ∨ γ) = (α ∧ β) ∨ (α ∧ γ), for any congruences α, β, and γ of a given lattice.The analogue of this result fails, for instance, for modules, as formula_1, as a rule, for submodules "A", "B", "C" of a given module.Soon after this result, Dilworth proved the following result.