Cho hình bình hành ABCD. Lấy điểm E trên cạnh AB, điểm F trên cạnh CD sao cho AE = CF. Chứng minh rằng ba đường thẳng AC, BD, EF đồng quy.