Segment addition postulate

Summary