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.

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.