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