)なお基本的なアイデアは距離空間の場合の証明と同一である。