let A be Subset of T; :: thesis: ( A is closed implies A is supercondensed )
assume A is closed ; :: thesis: A is supercondensed
then Int (Cl A) = Int A by PRE_TOPC:22;
hence A is supercondensed by Def1; :: thesis: verum