File:Mid-point theorem 2.ggb