西姆松线之安宁定理