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 …)