Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc đồng vị
Giải thích
Kẻ đường thẳng xy đi qua B 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.
Vậy ABy^=A1^ nên A1^=B1^.