同余性质优化

1