góc ABC = góc BAx => BC song song Ax (1)
tương tự có BC song song Ay (2)
từ (1) và (2) => Ax trùng Ay
Tia Ax nằm trên nửa mp bờ AB ko chứa C
Tia Ay nằm trên nửa mp ko chứa B => Ay nằm trên nửa mp chứa C
=> Tia Ax và Ay nằm trên 2 nửa mp đối nhau bờ AB
Mà Ax trùng Ay => 2 tia đối nhau
Lại có D thuộc Ax khác A; E thuộc Ay khác A => D không trùng E => D, A, E thảng hàng