theorem Th1999: :: NUMBER12:36

(ArProg (199,210)) . 9 = 2089