theorem Th22: :: FRECHET2:22

for T being non empty TopSpace st T is sequential & ( for A being Subset of T holds Cl_Seq (Cl_Seq A) = Cl_Seq A ) holds
T is Frechet