这一步依据的是什么性质,定理,