Segment addition theorem