theorem Th4: :: T_1TOPSP:4

for T being non empty TopSpace holds T_1-reflex T is T_1