supporting proofs and Lemma 2.7 complete (partial order of edges)