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