theorem FU710b: :: FUZZY_8:29

for a, b, c, d being Real st b > 0 & c > 0 & d > 0 holds
for x being Real st not x in ['(a - c),(a + c)'] holds
min (d,(max (0,(b - |.((b * (x - a)) / c).|)))) = 0