同余的概念和性质