Reasoning about unknown variables: divisibility

Sal solves the following challenge: Given the positive integers a, b, and c, where a is a multiple of c and (a+b)/c is an integer. Is b necessarily a multiple of c?

License: CC BY-NC-SA by Khan Academy