Cho hình thang vuông ABCD (A^=D^=900) có các điểm E và F thuộc cạnh AD sao cho AE = DF và BFC^=900. Chứng minh BEC^=900.