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