the wedge connectivity lemma