Im Verlauf des Beweises konstruieren Babson et al. eine diskrete Morsefunktion mit genau einer kritischen -Zelle, um zu zeigen, dass die geometrische Realisierung eines gewissen Simplizialkomplexes zusammenziehbar ist.