theorem Th7: :: TOPGEN_4:7

for T being non empty TopSpace st T is second-countable holds
T is separable