西姆森线的性质定理——定理3