MathNet 2022-part-03 — 197 problems (EN–VI) Question 133

Let $A_n$ denote the number of ways to color the vertices of an $n$-gon in four colors – red, green, blue and yellow – so that each three consecutive vertices are colored in three different colors. Prove that $A_7 = A_8$.