Starchak, M. Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers. CTE 2018, 5-15.