min(max(a,b),c)=max(min(a,c),min(b,c))