Lesson 2.6: Algebraic Proof