theorem Th1993: :: NUMBER12:30

(ArProg (199,210)) . 3 = 829