intermediate value theorem vs sum rule of integration