Added theorem and 2 lemmas. Proved theorem, now need to work on lemmas