n和m是整数，同时也考虑a-b^n=c^m的解。
特定地，如果a是某个数的阶乘，b=5，c=7，怎么证明只有有限组解。
一些很简单的发现：
首先根据奇偶性a不等于1
其次如果a大于等于120，则方程左侧是5的倍数而右侧不是。
设m=0，显然无解
设n=0，有一个解
我估计应该用得上费马小定理之类。
如果不提供a，b和c的具体数字，那a+b^n=c^m型的方程的解是不是依然总是只有有限组解？