Midpoint Theorem Statement