斯特瓦尔特定理推论3证明