Proof: Suppose n is any [particular but arbitrarily chosen]
integer. Then n = n ·1, and so n = n/1 by by dividing both
sides by 1. Now n and 1 are both integers, and 1 = 0. Hence
n can be written as a quotient of integers with a nonzero
denominator, and so n is rational.