ウリゾーンの距離付け可能定理で調べてみよう