theorem Th1996: :: NUMBER12:33

(ArProg (199,210)) . 6 = 1459