斯托兹定理证明了什么问题