theorem Th29: :: COUSIN2:32

for A being Subset of REAL
for I being non empty closed_interval Subset of REAL
for f being Function of I,REAL st A misses I & f = chi (A,I) holds
( f is HK-integrable & HK-integral f = 0 )