如果一条直线与一个平面内的两条相交直线都垂直，那么这条直线和这个平面垂直。