斯图瓦尔特定理推论