Question 1: Introduction to Proof