
theorem Th1997:
  ArProg (199,210).7 = 1669
  proof
    set f = ArProg (199,210);
    f.(6+1) = f.6 + 210 by NUMBER06:def 4;
    hence thesis by Th1996;
  end;
