Added proofs for Lemma 7 and 8