同余性质增强

1