Multiple of Divisor Divides Multiple/Proof 1

Proof
We have that Integers form Integral Domain.

The result then follows from Multiple of Divisor in Integral Domain Divides Multiple.