Có: Góc xAB = Góc ABC = 60 độ
Mà 2 góc này ở vị trí so le trong
⇒ Ax//BC (dhnb) (1)
Có: Góc yAC = Góc ACB = 45 độ
Mà 2 góc này ở vị trí so le trong
⇒ Ay//BC (dhnb) (2)
Từ (1)(2) ⇒ 3 điểm A, x, y thẳng hàng (Tiên đề Ơ-cờ-lít)
Có: Ax//BC (cmt) hay xy//BC