Update lecture_1.tex