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