GT	Đường thẳng c cắt hai đường thẳng a, b lần lượt tại A và B; a // b
KL	\({\widehat A_1} = {\widehat B_1}\)

Xác định giả thiết của định lí: “Hai đường thẳng song song thì không có điểm chung”