theorem :: FUZZY_8:19

for f being Function of REAL,REAL
for a, b, c, d, e being Real st ( for x being Real holds f . x = min (d,(max (e,(b - |.((b * (x - a)) / c).|)))) ) holds
for y being Real holds f . (a - y) = f . (a + y)