broke up the lemma into a proposition and a lemma. added a lot more stuff, copy pasted a few paragraphs