Lecture (10 minutes - 40 minutes with proofs)

Notes for this lecture: