帮我看下最后一步的依据是什么定理