Góc tạo bởi các đường thẳng song song làm căn cứ

Các quy tắc về đường thẳng song song trong phần Góc cũng là lý do để chứng minh: Góc đồng vị, Góc so le trong và Góc so le ngoài cho các góc bằng nhau, còn Góc trong cùng phía tạo thành một cặp góc bù. Mỗi quy tắc chỉ đúng khi các đường thẳng song song, vì vậy dòng viện dẫn quy tắc đó phải nêu dòng cho biết điều này.

Các góc tại A và D nằm bên trong hai đường thẳng song song, ở hai phía đối diện của đoạn thẳng cắt AD: đây là một cặp góc so le trong. Nếu không có dòng 1 thì bước này không hợp lý, vì khi không có hai đường thẳng song song, các góc so le chưa chắc bằng nhau. Trong menu chứng minh, quy tắc này có tên là Góc so le trong; các menu góc bạn đã biết trong phần Góc gọi quy tắc này là Góc so le.