Строим с линейки произвольный угол, на нем отмечаем любую точку , которая не лежит на данной прямой и от нее строим угол равны начерченному прежде, мы получаем два равных угла, которые являются накрест лежащими при секущей и двух прямых, отсюда следует , что прямые паралелльны по первому признаку паралелльности прямых
