theorem Lm7A: :: INTEGR22:16

for A, B being non empty closed_interval Subset of REAL
for rho, rho1, rho2 being Function of A,REAL st B c= A & rho = rho1 - rho2 holds
vol (B,rho) = (vol (B,rho1)) - (vol (B,rho2))