Moved proofs for lemmas to appendix.