theorem
  {x,y} \ X = {x,y} iff not x in X & not y in X by Th48,Th50,XBOOLE_1:83;
