Если

то

, соответственно это число меньше

(старшая цифра

) а расстояние между старшим и последующим разрядом меньше k, в то время как между нижними k:

.
Так как квадрат меньше

и оканчивается всегда на 001 (по модулю 8 равен 1), то должен быть

. Отсюда легко исключается

. Более длинно разбирается

.