Дано AB=BC DE-EF Угол1=углу 2 .Доказать что прямая ab параллельна прямой de

AB=BC ⇒  ΔABC - равнобедренный  ⇒  ∠BAC=∠1DE=EF ⇒  ΔDEF - равнобедренный  ⇒  ∠EDF=∠2∠1=∠2  ⇒  ∠BAC = ∠EDF ∠BAC = ∠EDF - соответственные углы при секущей AF равны ⇒   AB║DE