斯特瓦尔特定理有什么用