Дан отрезок АВ. По разные стороны от прямой АВ расположены точки Е и F, причём АE=BF и угол ВАЕ равен углу АВF. Докажите, что АВ проходит через середину EF.