"Suppose p is an integer such that p???0 and q is a natural number." . . . .