Proofs of Lemmas in Chapter 4
2012 ◽
pp. 203-220