https://definitionyon.blogspot.com/2023/04/segment-addition-postulate-definition.html