
theorem Th1990:
  ArProg (199,210).0 = 199 by NUMBER06:def 4;
