平面切平面立体得到的截交线，一定是平面多边形