Lecture 7 - Definitions, Proofs and Examples 4