西姆森线的性质定理——安宁定理