点集拓扑 证明:每一个正则的T0空间都是T3空间