Let `A B C` be a given isosceles triangle with `A B=A C` . Sides `A Ba n dA C` are extended up to `Ea n dF ,` respectively, such that `B ExC F=A B^2dot` Prove that the line `E F` always passes through a fixed point.