Copy of Midpoint postulate