theorem Lm2: :: FUZZY_6:3

for A being non empty closed_interval Subset of REAL holds
( id REAL is_integrable_on A & (id REAL) | A is bounded )