斯图瓦尔特定理证明