Applying properties of definite integrals - Linearity, additivity over intervals