Cleaned up the proof a bit.