费马小定理是说$a^{p-1}\equiv 1\pmod p$，两边同除$a$得扩展定理：$a^{p-2}\equiv\frac{1}{a}\pmod p$。而且$a,c$本来就小于$1e9+7$了，所谓的取模是利用第一道式子对$n-1,m-1$这个这么大得次方数取模罢了 by Kogenta @ 2021-10-13 16:46:35