Midpoint and segment properties