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