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