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