距離付け可能であることの十分条件を与える定理が見つからないのですが…どういう定理でしょうか？