theorem L724p: :: FUZZY_8:24

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