Giavanna's Segment Addition Postulate

This is my segment addition posulate geogebra sketch.