https://eximmn.blogspot.com/2021/10/segment-addition-postulate-solve-for-x.html