a) Có B A D ^ = A B C ^ ( giả thiết),

Mà hai góc ở vị trí so le trong nên AD // BC (theo tính chất hai đường thẳng song song).

b) Tương tự ý a), chứng minh được AE // BC

Theo tiên đề ơ-clit, hai đường thẳng AE và AD trùng nhau. Từ đó ba điểmD, A, E thẳng hàng.