let A be Subset of T; :: thesis: ( A is semi-open implies A is subcondensed )
assume A is semi-open ; :: thesis: A is subcondensed
then A c= Cl (Int A) by DECOMP_1:def 2;
hence A is subcondensed by Th9; :: thesis: verum