斯特瓦尔定理最简单三个证明过