CIS.PAPDI "Proof" of Additive Property of Definite Integral