斯特瓦尔定理推论