If a normal space is R0, then it is in fact completely regular.
如果正规空间是 R0，则它事实上是完全正则空间。