circle-point midpoint theorem