Giả sử có \(\widehat{A}_1e\widehat{B}_1\) như vậy qua B ta vẽ được đường thẳng xy tạo với đường thẳng C góc \(ABy=\widehat{A}_1\)
Theo dấu hiệu nhận biết của 2 đường thẳng song song, ta có xy // a vì xy và a tạo thành hai góc đồng vị bằng nhau. Nhưng qua B, theo tiên đề Ơ-clit, chỉ có một đường thẳng song song với a. Vậy đường thẳng xy trùng đường thẳng b. Hay \(\widehat{ABy}=\widehat{A}_1\)