位相空間Xがコンパクトかつハウスドルフならば正規空間であることの証明ですが
これって選択公理使ってますか?