Cho đa giác đều 30 đỉnh, chứng minh rằng trong các đỉnh đó bất kì bộ gồm 9 đỉnh nào, đều chứa 4 đỉnh tạo nên hình thang cân