2.5 Proving Segment Relationships