(Theorem of Jean Dieudonné) Every paracompact Hausdorff space is normal.
(Theorem of Jean Dieudonné) すべてのパラコンパクトハウスドルフ空間は正規である。