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

theorem
  A misses B` iff A c= B
proof
  B``= B;
  hence thesis by Th23;
end;
