Fixed a nasty error in the last proof

Plus some formatting changes