  In a 2001 paper, Shareshian conjectured that the subgroup lattice of a
finite, solvable group has an EL-labeling. We construct such a labeling, and
verify that our labeling has the expected properties.
