theorem Th1991: :: NUMBER12:28

(ArProg (199,210)) . 1 = 409