segment addition postulate. There are any references about segment addition postulate in here. you can look below.