$c$ must divide $\gcd(a, b)$

All of $a$, $b$, $c$ must be positive

$a$ and $b$ must be coprime

$\gcd(a, b)$ must divide $c$