reserve n,m,k for Nat,
  X,Y,Z for set,
  f for Function of X,Y,
  H for Subset of X;

theorem Th2:
  X is infinite & X c= omega implies card X = omega
    by WAYBEL12:2,CARD_1:5,CARD_1:47;
