theorem Th6: :: INTEGRA6:6

for a, b being Real holds vol ['(min (a,b)),(max (a,b))'] = |.(b - a).|