Segment addition postulate

The segment addition postulate is often useful in proving results on the congruence of segments.