theorem Th1995: :: NUMBER12:32

(ArProg (199,210)) . 5 = 1249