Update lecture1.tex