max(Sx,Sy) = S(max(x,y)) max(x,0) = x max(x,y) = max(y,x) (x,y) x + (y x) (infatti se x≥y mentre altrimenti )