reserve E,X,Y,x for set;
reserve A,B,C for Subset of E;

theorem
  X c= A & X c= A` implies X = {} by XBOOLE_1:67,79;
