20090107P.S.

必要なのは一点集合の閉集合性でした。
T1分離公理からただちに導ける。

うりぞーんは単に完全正則性の証明を間に挟むために必要。