a thuộc (Q) suy ra nếu a cắt (P) thì M thuộc giao tuyến của (Q) và (P) hay a thuộc b.
Tuy nhiên a // b suy ra không thể xảy ra trường hợp a cắt (P).
Kết luận: Nếu a không nằm trong (P) và song song với b thuộc (P) thì a song song với (P) hay a và (P) không có điểm chung.