
theorem Th1993:
  ArProg (199,210).3 = 829
  proof
    set f = ArProg (199,210);
    f.(2+1) = f.2 + 210 by NUMBER06:def 4;
    hence thesis by Th1992;
  end;
