theorem L724: :: FUZZY_8:25

for a, b, c, d, e being Real
for f being Function of REAL,REAL st c <> 0 & ( for x being Real holds f . x = min (d,(max (e,(b - |.((b * (x - a)) / c).|)))) ) holds
f is Lipschitzian