Михаил

если A^x+B^y=C^z где A,B,C,x,y,z принадлежат множеству натуральных чисел и x,y,z>2 то A,B,C имеют общий простой делитель

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

Таким образом, приведенный пример не опровергает гипотезу Била, так как требуемый простой общий делитель (2) в наличии имеется. Если бы гипотеза утверждала что существует ТОЛЬКО единственный простой общий делитель, то она опровергалась бы элементарно.

Контрпримером для гипотезы Била будет такой набор чисел A, B, C, x, y, z, что A, B, C - взаимно простые, то есть не имеют общих делителей.

Самое простое - шифруйте последние 2 цифры номера заказа как копейки в сумме платежа. Или 3 цифры - как последняя цифра рублевой суммы + копейки. Уникальности не будет, но сократить количество кандидатов в 100-1000 раз может оказаться вполне достаточно для вашей задачи.

Но это такое себе решение. Вообще у наложенного платежа (а бланк наложенного платежа, по идее, готовите вы как отправляющая сторона) есть поле "назначение". И почта обязана вам его отдавать вместе с платежом. Что мешает вписать в назначение номер заказа в вашей системе? "Оплата заказа #XXX-YYY-ZZZZ" или как-то так.

Ну смотрите. У нас есть объем теста. Расход теста на блинчик прямо пропорционален площади оного блинчика. А количество блинчиков из одного и того же объема теста обратно пропорционально расходу теста на один блинчик. А площадь блинчика зависит от диаметра сковородки... Вроде дальше уже подсказывать некуда :)