Chứng minh
Giả sử ∠(A1) ≠ ∠(B1)
Qua B kẻ đường thẳng xy sao cho ∠(ABy) = ∠(A1)
Mà hai góc này ở vị trí so le trong nên theo dấu hiệu của hai đường thẳng song song, ta có xy //a
+) Qua điểm B ta kẻ được hai đường thẳng b và xy cùng song song với đường thẳng a. Theo tiên đề Ơ- clit suy ra đường thẳng xy trùng với đường thẳng b.