Модулярная арифметика
MAXimal :: algo :: Диофантовы уравнения с двумя неизвестными: AX+BY=C
Модульное линейное уравнение первого порядка