reserve D for non empty set,
  f for FinSequence of D,
  p, p1, p2, p3, q for Element of D,
  i, j, k, l, n for Nat;

theorem
  rng Swap(f,i,j) = rng f by FUNCT_7:103;
