Upper Semimodularity of Finite Subgroup Lattices

We prove that the subgroup lattice of a finite group is upper semimodular iff in each of its intervals [A;B] there are at most as many subgroups coveringAas subgroups covered byB.