Cho hai đường thẳng phân biệt a và b cùng vuông góc với mặt phẳng (P). Xét O là một điểm thuộc a nhưng không thuộc b. Gọi c là đường thẳng qua O và song song với b (H.7.21).
Giải thích
a) Vì b ^ (P) và c // b nên c ^ (P).
Vì a và c cắt nhau tại O, mà a ^ (P) và c ^ (P) nên a và c trùng nhau.
b) Vì a và c trùng nhau và b // c nên a // b.
