for a, b, c, d being positive Real st a + b = c + d holds
( max (a,b) > max (c,d) iff min (a,b) < min (c,d) )