>>349
まったくもっていい大人が定理と呼ぶのもおこがましい。
n桁の数ならば各桁の和は高々9n。逆順に並べたものも高々9n。
両者の積は高々81n^2。n桁の数は10^{n-1}以上10^n未満である。
xをその数とすると10^{n-1} =< x =< 81n^2である。
しかし、この不等式はnが5以上では成立しない。

つまり1から9999までの数を虱潰しに調べさえすればよく、
fortranかCでコードを書けば1日で済んでしまうレベルの計算。
せいぜい中高生の自由研究レベル。