G.T.1.g: Triangle inequality