
theorem Th1995:
  ArProg (199,210).5 = 1249
  proof
    set f = ArProg (199,210);
    f.(4+1) = f.4 + 210 by NUMBER06:def 4;
    hence thesis by Th1994;
  end;
