File:Mid-point theorem 1.ggb