07.5A Midpoint Theorem