This is a direct consequence of the uniqueness of the quotient and remainder in the division with remainder theorem. If the remainder is zero, then the dividend is exactly the product of the divisor and the quotient, which is the definition of a multiple. Conversely, if a number is a multiple of another, then by definition it can be written as a product, implying a zero remainder upon division.