Applying properties of definite integrals