theorem Th1990: :: NUMBER12:27

(ArProg (199,210)) . 0 = 199 by NUMBER06:def 4;