set f = ArProg (199,210);
(ArProg (199,210)) . (1 + 0) = ((ArProg (199,210)) . 0) + 210 by NUMBER06:def 4;
hence (ArProg (199,210)) . 1 = 409 by Th1990; :: thesis: verum