Chứng minh số số chuỗi n hạt được tô màu bởi k màu cho trước là: \frac{\sum \varphi (d).k^{\frac{n}{d}}}{n} với d \mid n