斯特瓦尔定理求高