Kẻ tia `Bm` sao cho `Bm` // `Ax`
Vì `Bm` // `Ax` (cách vẽ)
`⇒ \hat{A} = \hat{B_1}` (`2` góc so le trong)
Lại có: `\hat{B_1} + \hat{B_2} = \hat{ABC}`
`\hat{A} + \hat{C} = \hat{ABC}` (gt)
`⇒ \hat{B_2} = \hat{C}`
Mà `2` góc này ở vị trí so le trong.
`⇒ Bm` // `Cy`
Mà `Bm` // `Ax` (cách vẽ)
`⇒ Ax` // `Cy`.