GT: d'//d; d''//d
KL: d'//d''
Vẽ đường thẳng a vuông góc với d
vì d//d' và d\(\perp\)a
=> a \(\perp\)d' (từ vuông góc đến song song) (1)
vi d//d'' và d\(\perp\)a
=> d''\(\perp\)a (từ vuông góc đến song song) (2)
Từ (1) và (2) => d//d'' (từ vuông góc đến song song