reserve x for set;

theorem
  3 = {0,1,2} by CARD_1:51;
