不是平行的两平面有公垂线吗?