Segment Addition Postulate. You can move the points. Sometimes the sum seems wrong because of a rounding issue.