Fie a un plan,A un punct ,A nu apartine planului a,si a o dreapta,preapta a este inclusa in planul a.Daca AAprim perpendiculat pe planul a,Aprim apartine planului a si AprimB perpendicular pe dreapta a,B apartine dreptei a ,atunci AB perpendicular pe dreapta a.