Proving a Point as a Midpoint