theorem Th5: :: INTEGR20:5

for A being real-bounded Subset of REAL holds 0 <= xvol A