theorem Th19:
  FinSETS is denumerable by CLASSES2:62,64,CARD_3:def 15;
