Мы видим, что АС- биссектриса, которая делит угол ВАD пополам, так же, АС пересекает ВСD . Если продлить ВС , АD , АС и ВА то можно заметить, что накрест лежащие углы =. Теорема: если при пересечении двух секущих, накрест лежащие углы соответственно равны, то прямые параллельны: доказана.