  This paper proves a dual version of a theorem of Oystein Ore for every
distributive interval of finite groups [H,G] of index |G:H|<9720, and for every
boolean interval of rank <7. It has applications to representation theory for
every finite group.
