This Instructional Activity is a part of the Lesson 6, Unit 2, Grade 8. After completing Exercises 5-9, students should be convinced that the theorem is true. Make it clear that their observations can be proven (by contradiction) if we assume something different will happen (e.g., the lines will intersect).