Remove trailing whitespace
Clean up proof of Lemma 5
Minor cleanup of lemmas 6 and 7
Fix url in contact info
Fix scale term in lemma 7 UI claim

I've been scaling by (\sum c)^2 which is bigger than necessary and
completely screws up the resulting arguments. The correct term is
(\sum c^2); and now that's what's written down.
Minor cosmetic change: remove blank line and obsolete eqn reference.
Minor cleanup of Lemma 4

- Removes some equation numbers that were unused
- Makes a few minor changes to the wording.
Merge branch 'lemma_4'

This branch makes a few minor changes to Lemma 4 and was the result
of an audit of its proof. The proof should be viewed as correct and
verified now.

Closes #8
Add definition of psi to statement of Lemma 6
Restore old proof derived from de Jong to appendix

For semi-completeness and to satisfy a referee, I'm going to provide
an explicit statement of one of de Jong's proofs. This commit restores
one that I had removed in earlier versions of the paper.