Update lec01.tex