斯特瓦尔特定理的推论及证明