∠1=∠2, АД=СФ, ВС=ЕФ.
АВ║ДЕ - ?
∠1=∠2, значит ∠ВСА=∠EФД.
АС=АД+ДС, ДФ=ДС+СФ, АД=СФ, значит АС=ДФ.
В треугольника АВС и ДЕФ АС=ДФ, ВС=ЕФ и ∠ВСА=∠EФД значит они равны ⇒ ∠ВАС=∠ЕДФ.
Прямая АФ пересекает прямые АВ и ДЕ под одинаковым углом, значит АВ║ДЕ.
Доказано.