На одной из Ленинградок давали такую задачу:
Квадрат натурального числа содержит несколько единиц и одну двойку. Доказать, что этот квадрат делится на

.
Задача сама по себе тривиальная. Двойка не может стоять в конце, квадраты на двойку не кончаются. Также квадрат не может оканчиваться на

, иначе будет

по модулю

. Таким образом, наш квадрат имеет вид

, то есть оканчивается на

, а перед ним целое неотрицательное число единичек. Но число такого вида может давать только остатки

и

при делении на

. Так как квадраты

не дают, остаётся только

. Утверждение доказано.
Но вот у меня такое ощущение возникло, что число

-- вообще единственный квадрат такого вида. А как доказать, не знаю. Дело в том, что репьюнит может делиться на любое натуральное число

, взаимопростое с

и

. Таким образом, наш квадрат может (если он есть) давать тот же остаток на

, что и

, а это сильно затрудняет доказательство. Также по степеням двойки и пятёрки ничего интересного не нашла. Остатки, даваемые числами вида

на эти степени всегда подходят к квадратам.
Подскажите, пожалуйста, как доказывать.