CIS:PSPDI "Proof" of Sum Property for the Definite Integral