$a$ and $b$ must be coprime

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

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

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