theorem Th1994: :: NUMBER12:31

(ArProg (199,210)) . 4 = 1039