theorem Th23: :: FRECHET:23

for T being non empty TopSpace st T is first-countable holds
T is Frechet