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