整除的性质