已知直线 , 和平面 且 ,给出下列四个命题: