theorem LeMM01: :: FUZZY_5:1

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