1. We can take this to be the definition of the midpoint. We actually define the midpoint in the proof of this corollary to be the point on the line which is equally distant from the endpoints. However, as we see in the proof, this follows directly from Theorem 2.2.