Mid-point Theorem