Lục giác ABCDEF có AB=BC, CD=DE, EF=FA, B^=D^=F^. Gọi K là điểm đối xứng với F qua AE. Chứng minh rằng BCDK là hình bình hành.