Gives many standard lemmas for standard arithmetic functions over the integers, involving both equalities and inequalities.

At the end, are some induction lemmas for various subsets of the integers. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html