Discrete math
Prove that the product of any integer and any rational number is a rational number.

We are working on things like closure property