Proved several lemmas