>>642を見落としてた。この修正を加えれば正しいようだ。
でも>>642では距離空間の知識までというのが無視されている。