Midpoint postulate