Cho tam giác đều ABC nội tiếp đường tròn (O) như hình bên. Phép quay ngược chiều 60^o tâm O biến các điểm A, B, C lần lượt thành các điểm D, E, F. Chứng minh rằng ADBECF là một lục giác đều.