Introduction to Proof Using Properties of Equality