File:Property of definite integrals.ggb