Edited Section 3 Lemma 3

Fixed notation and made more similar to Section 3 Lemma 2