talk:>>300 次は、その距離位相が離散位相になることを証明しよう。