Added proofs for lemmas 6 and 8