additive property of integration