Пусть отрезок ab пересекает отрезок cd в точке e. Тогда треугольники aed и ceb будут подобны по двум углам (по углу ade и cea, так как они вертикальные, и по углу aed и ceb, так как они общие), а значит, углы ade и cea, а также углы ead и ebc равны, и они являются односторонними углами. Также по теореме о равенстве углов в пересекающихся прямых, углы ade и cea являются внутренними односторонними углами в секущей ac.