斯特瓦尔特定理的应用