updated the proof section with more proof sketches