提交10次才发现的傻逼错误

1. 对于 \((a-b)\ mod\ P\) 即使保证 \(a\ge b\) 也需要先加 \(mod\) 再 模 \(mod\) 因为 \(a>b\) 在模意义下不一定仍然成立