Fixed typos
Fixed Lemma 3 and typo