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