theorem F51min: :: FUZZY_8:6

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