同余的概念及基本性质