theorem Th11: :: INTEGRA5:11

for A being non empty closed_interval Subset of REAL
for f being PartFunc of REAL,REAL st A c= dom f & f | A is continuous holds
f is_integrable_on A