По двум сторонам и углу между ними, △ADE = △CDF (по первому признаку равенства треугольников).
Так как \[ \angle DAE = \angle DCF \], то \[ \angle BAC = \angle BCA \].
Доказано.