. . . "In general for any two integers a and b, a+b is an integer." . .