離散位相がつねに距離化可能であることの証明を教えてください。