Description: Addition with 1 is same as successor. Proposition 4.34(a) of Mendelson p. 266. Remark 2.4 of Schloeder p. 4. (Contributed by NM, 29-Oct-1995) (Revised by Mario Carneiro, 16-Nov-2014)