Lecture 7 - Liouville's theorem