斯特瓦尔特定理应用例说