Lemmas 3.3.2 and 3.3.3 added
Backrefs for Lemmas 3.3.2 and 3.3.3 added
Solution to Exc. 3.9