ウリゾーンの定理によれば、"x" が可算基を持つ正規空間ならば