Ta có `\hat{CAx} + \hat{CAB} = 180^0`
Hay `\hat{CAx} = 180^0 - \hat{CAB}`
`⇒ \hat(CAx) = 80^0`
Do ` Ay` là tia phân giác của `\hat{CAx}`
` \hat{xAy} = \hat{CAy} = (\hat(CAx)/2 = (80^0)/2 = 40^0`
` => \hat{xAy} = \hat{ABC} = 40^0`
Mà hai góc này ở vị trí đồng vị
⇒ Ay / / BC