min(Sx,Sy) = S(min(x,y)) min(x,0) = 0 min(x,y) = min(y,x) (x,y) x (x y) (infatti se x≤y mentre altrimenti )