theorem Th46: :: TOPGEN_4:46

for T being TopSpace st T is T_1 holds
T is T_1/2