theorem Th1: :: INTEGRA4:1

for A being non empty closed_interval Subset of REAL
for D being Division of A st vol A = 0 holds
len D = 1