theorem Th1992: :: NUMBER12:29

(ArProg (199,210)) . 2 = 619