theorem Th27: :: COUSIN2:30

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