bundle edge property proofs started (Lemma 2.7 work)