theorem Th16X: :: FUZZY_6:16

for A being non empty closed_interval Subset of REAL
for r1, r2 being Real
for f being Function of REAL,REAL st f is_integrable_on A & f | A is bounded holds
( min ((AffineMap (0,r1)),(r2 (#) f)) is_integrable_on A & (min ((AffineMap (0,r1)),(r2 (#) f))) | A is bounded )