西姆森线的性质定理——定理2-证法1