斯特瓦尔特定理向量证法