theorem Th1998: :: NUMBER12:35

(ArProg (199,210)) . 8 = 1879