set f = ArProg (199,210);
(ArProg (199,210)) . (7 + 1) = ((ArProg (199,210)) . 7) + 210 by NUMBER06:def 4;
hence (ArProg (199,210)) . 8 = 1879 by Th1997; :: thesis: verum