reserve D,D1,D2 for non empty set,
        d,d1,d2 for XFinSequence of D,
        n,k,i,j for Nat;

theorem Th2: ::: AFINSQ_1:97
  rng d = rng (XFS2FS d) by AFINSQ_1:97;
