d(t)とd(s)が有限ならばtとsは同値