https://definitionxc.blogspot.com/2023/08/segment-addition-postulate-geometry.html