斯特瓦特定理例题