Lecture on Springer theory