连减的性质