Changed formating around the lemma and move its proof to the appendix and adjusted relevant files accordingly.: