Lecture 8 - Definitions, Proofs and Examples 5