число делится на 7, если результат вычитания удвоенной последней цифры из этого числа без последней цифры делится на 7

Да, вы правы! Это правило делимости на 7 можно использовать для проверки делимости числа на 7. Согласно этому правилу, чтобы проверить, делится ли число \( N \) на 7, выполните следующие шаги:

1. Извлеките последнюю цифру числа \( N \).
2. Удвоите эту цифру.
3. Вычтите удвоенную последнюю цифру из числа, полученного без последней цифры (то есть, лишите число последней цифры, а затем вычтите результат, который будет равен \( N // 10 \) (целочисленное деление на 10, чтобы отбросить последнюю цифру)).
4. Полученное число снова проверьте на делимость на 7. Если оно делится на 7, то и исходное число \( N \) делится на 7.

Этот способ может быть повторен несколько раз, пока не останется маленькое число, с которым проще работать.