Theorem T000287

T1T_1R0R_0

Follows directly from the definitions, and stated in Wikipedia T1_space.