kẻ `Oz`//`Ax` `(1)`
ta có `hat(xAO)+hat(AOz)=180^o` ( trong cùng phía )
`=>hat(AOz)=180^o-130^o=50^o`
ta có
`hat(AOz)+hat(zOB)=90^o`
`=>hat(zOB)=90^o-50^o=40^o`
mà ta thấy `hat(zOB)+hat(OBy)=40+140=180^o`
mà 2 góc này ở vị trí trong cùng phía nên `Oz`//`By``(2)`
từ `(1)` và `(2)` suy ra `Ax`//`By`