Proved that the integral of a sum equals the sum of integrals