theorem Th11: :: INTEGR23:9

for a being Real
for A being Subset of REAL
for rho being real-valued Function st A c= [.a,a.] holds
vol (A,rho) = 0