theorem Th1997: :: NUMBER12:34

(ArProg (199,210)) . 7 = 1669