Finishing up the proof.
Removed jon's notes.