Lesson 5.4: Indirect Proof