for a, b being non negative Real holds (max (a,b)) - (min (a,b)) = |.(a - b).|