同余的概念、十条性质及应用