sphinx
Когда правая часть ненулевая, доказательство единственности решения будет длиннее, нужно будет решать неравенства в целых числах.
Ведь решить уравнение - это не только найти какое-то решение, нужно ещё обосновать, что других решений не существует.