A = [#] X by SUBSET_1:def 7;
hence not Cl A is proper by TOPS_1:27; :: thesis: verum