set f = ArProg (199,210);
(ArProg (199,210)) . (3 + 1) = ((ArProg (199,210)) . 3) + 210 by NUMBER06:def 4;
hence (ArProg (199,210)) . 4 = 1039 by Th1993; :: thesis: verum