theorem Th47: :: TOPGEN_4:47

for T being non empty TopSpace st T is T_1/2 holds
T is T_0