1.2 Segment Addition Postulate