Lecture 6 - Definitions, Proofs and Examples 3