theorem Th24: :: FRECHET2:24

for T being non empty TopSpace st T is T_2 holds
for S being sequence of T st S is convergent holds
ex x being Point of T st Lim S = {x}