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