Edit Lemma 5 proof
Write up proof of sigma-hat consistency
Tweak statement of Lemma 6
Merge remote-tracking branch 'github/master'

Conflicts:
	Paper.tex