同余概念、性质的