for T being non empty discrete TopSpace holds T is T_1