Lesson 2.7: Proving Segment Relationships