Category:Finite T1 Space is Discrete