  This paper gives a self-contained group-theoretic proof of a dual version of
a theorem of Ore on distributive intervals of finite groups. We deduce a bridge
between combinatorics and representations in finite group theory.
