theorem Th25: :: COUSIN2:28

for I being non empty closed_interval Subset of REAL st not I is empty & I is trivial holds
vol I = 0