斯特瓦尔定理证明