23aLectureProofs10.13.15.pdf