theorem Lm22a: :: FUZZY_8:26

for A being non empty closed_interval Subset of REAL
for a, b, c, d being Real
for f being Function of REAL,REAL st c > 0 & ( for x being Real holds f . x = min (d,(max (0,(b - |.((b * (x - a)) / c).|)))) ) holds
( f is_integrable_on A & f | A is bounded )