$\text{cho a ∥ b ; c∥b} \\ \text{giả sử a không song song với c}\\ \text{⇒ a cắt c tại 1 điểm M}\\ \text{⇒ qua M có 2 đường thẳng}\\ \text{ mà $\begin{cases} a∥b \\ c∥b \end{cases}$}\\ \text{điều này trái lại với tiên đề Ơclit}\\ \text{⇒ giả sử ban đầu là sai}\\ \text{⇒ a∥c}$
