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))