Corollary LT-7. Bowden’s inequality for lattice theory. If a lattice satisfies Bowden’s inequality, it is distributive [?, p. 36].