斯特瓦特定理推广