theorem Th2: :: INTEGRA4:2

for A being non empty closed_interval Subset of REAL holds
( chi (A,A) is integrable & integral (chi (A,A)) = vol A )