Ex 24.6

 Introduction to Proofs