如果一条直线垂直于一个平面,则这条直线与平面内任意直线垂直.