我写了一发模板卢卡斯定理，求组合数 C 时没有特判 if(m > n) return 0; 最终RE。

显然是向减时造成数组越界。

可是一想，不对，哪里出现了问题，怎么可能会有这样的一个输入？

若输入合法，那么只有取模的时候会出现问题。

参照题解里的证明

即 $j > r$ 时出现此情况，继续上溯至 $C_a^b x^b = C_l^s x^{sp} C_r^j x^j$ 可知是后一个不成立的时候，即本来后两个就没有办法拼出 $x^b$ 项。

可是 $(1+x)^a$ 在 $b \leq a$ 时怎么可能没有这一项！和输入合法的条件矛盾了啊！

哪里出现了问题？求教