В равных треугольниках напротив равных сторон лежат равные углы.
Так как ВС = DE, то ∠ВАС = ∠DCE, а эти углы - соответственные при пересечении прямых АВ и CD секущей АЕ, ⇒
АВ ║ CD
