theorem F51: :: FUZZY_8:7

for a, b, c, d being Real holds |.((min (c,(max (d,a)))) - (min (c,(max (d,b))))).| <= |.(a - b).|