Пока решил такую задачу для более, чем 45-значных чисел, воззвав к Дирихле. Для 45-значных надо подумать над числами определённого, справедливого типа. Но недолго. Ктинофикации подвержены даже 38-значные без нулей. А вот меньше

Оказалось, что я ким-то образом заменил в условии

на

или

. Прошу прощения.
