斯特瓦特定理证明方法