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: a, AC // EF