"two even integers is an even integer and the inverse of an even integer" . . . . .