Category
Level
A linear Diophantine equation ax + by = c has integer solutions if and only if gcd(a, b) divides c.