Chứng minh:
Ta có: d'' // d ; d'// d ; c vuông góc với d
* d' //d (giả thiết)
c vuông góc với d (giả thiết)
=> c vuông góc với d' (từ vuông góc đến song song) (1)
* d'' // d (giả thiết)
c vuông góc với d (giả thiết)
=> c vuông góc với d'' (từ vuông góc đến song song) (2)
Từ (1) và (2) suy ra d' // d'' (từ vuông góc đến song song)
d' // d ( giả thiết)
d'' // d (giả thiết)
Vậy d'' // d' // d