直线和平面平行的判定(正式)