空间6个点,任3点不共线,用13条线段连接它们,证明必存4个点,它们两两间都有线段相连,