theorem Th22: :: COMPL_SP:22

for T being non empty TopSpace holds
( T is countably_compact iff for S being non-empty closed SetSequence of T st S is non-ascending holds
meet S <> {} )