Диофантово уравнение \(ax+by=c\) решают в целых числах. Если \(c\) делится на \(\gcd(a;b)\) — решений бесконечно много, и все они образуют серию с постоянным шагом; если нет — решений нет вовсе.