It is written two times that d(x,z)+d(y,z)=d(x,z). This is probably wrong.