展开 斯特瓦尔定理证明