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

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