Пусть с-секущая, k и f- биссектрисы
Поскольку соответственные углы равны, то все углы, которые делит биссектриса тоже равны
Углы, которые получились с помощью биссектрисы и прилежат к секущей с равны и соответственные. Из этого следует, что k параллена f