Because all four colors are used and adjacent vertices are dyed differently, there must be two non-adjacent vertices dyed with the same color.
There are four ways to choose a color first, five ways to dye non-adjacent vertices (diagonal number), and the other three vertices are dyed with 3×2× 1=6 for the other three colors.