theorem Th6: :: INTEGRA4:6

for A being non empty closed_interval Subset of REAL
for f being PartFunc of A,REAL st vol A = 0 holds
( f is integrable & integral f = 0 )