Даны правильные треугольники ABC и ADF. Известно, что точка D расположена на стороне BC так, что отрезки DF и AB пересекаются. Кроме того, на стороне BC отмечена такая точка E, что BD = EC. Докажите, что AB перпендикулярно EF.