“为了贪心保证前面的位最小，可以从大到小试除”的结论缺少证明。

这并不是显然的，因为这个结论对于十进制成立而不是对于所有进制成立。一个例子是 $(216)_{10}=6\times6\times6$，但如果在 $9$ 进制下倒序试除，就会得到 $8\times3\times3\times3$，这显然是不优的。