ИМХО, признак делимости на
не нужен. Советую благополучно забить и обратить свой взор, например, на сравнения.
В любом случае, все эти признаки строятся так. Пусть надо построить признак делимости на
. Подбираем
такое, что
- удобный остаток (
или просто достаточно мал), и тогда число
разбиваем на блоки из
цифр (можно описывать это все в
-ичной системе счисления):
и заменяем в нем
на
. Ну и в итоге получаем:
Остаток от деления
на
совпадает с остатком от деления
на
. В частности,
делит
тогда и только тогда, когда
делит
.