数论

传送门
这道题的分析本身不难，但这道题告诉了我们：使用同余时一定要记着分析一番。

不难发现，题目中要求的东西实质上就是aab−1。习惯了直接求模的我直接用了power(a, power(a, b - 1) % mod) % mod，很遗憾，这是错的。

在第一层的指数部分（ab−1），要想化为等价的式子，必须用到一些数论的知识。
由费马小定理，ap−1≡1(modp)，所以aab−1等价于aab−1mod(109+7−1)。所以最终答案应该是
power(a, power(a, b - 1) % (mod - 1)) % mod

总结：不要想当然！模运算的基本法则仅限于加减法和乘法，乘方是由乘法的法则推过来的，而乘方的乘方只能自己分析后计算！