Cho hình bình hành ABCD. Gọi E là điểm đối xứng với D qua A, F là điểm đối xứng với D qua C. Chứng minh: AC // EF