Ex 10.1

 Introduction to proofs