斯特瓦尔特定理可以与什么定理互化