斯特瓦尔特定理及其推论