Giả sử \(a\parallel b\) và \(c \bot a\). Lấy điểm \(O\) bất kì trên \(c\), kẻ \(a'\parallel a\) qua \(O\) suy ra \(\widehat {cOa'} = {90^0}\).
Dễ thấy \(a'\parallel b\) nên \(\widehat {cOa'}\) chính là góc giữa hai đường thằng \(c\) và \(b\), do đó \(c \bot b\).
