同余性质

1