properties of definite integrals