more Changes

haven't touched subsection 3.2 before Proof of Lemma 3.3