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