reserve X,Y,x for set;
reserve A for non empty preBoolean set;

theorem
  Fin {} = { {} } by Th14,ZFMISC_1:1;
