EAdded a missing condition ("group-theoretically cuspidal") to the
@characterization given in the final portion of Lemma 4.12, (v)