α表示一个平面,l表示一条直线,则α内至少有一条直线与直线l