Proofs of Lemmas 3.1, 3.2 and 3.7

Page 1Page 2Page 3