theorem Th26: :: FRECHET:26

for T being non empty TopSpace st T is Frechet holds
T is sequential