theorem Th5: :: INTEGRA6:5

for a, b being Real st a <= b holds
vol ['a,b'] = b - a