Relabel equations in Appendix internally
Change formatting of lemmas in supplemental appendix to match the paper
Renumber equations in main paper
Rewrite Lemma 6 in main paper to match copy in appendix
Rewrite Lemma 7 in main paper to match copy in appendix