d: "x" - > "d"("x","-") es una isometría.