Maybe
Let x be divisible by n:
x=kn
y=y
x*y=kn*y
xy is a multiple of n, so xy is divisible by n.
Proof by contraposition.
This is my first introduction to formal logic and proofs (MAT385) aside from proofs like those found in calc III. Thus, I thank you for the pointers on specifics.