In fact, is a normal matrix (since it is unitary), and normal matrices admit a basis of linearly independent eigenvectors [21].
Assume for each eigenvalue of, and that there exists a matrix of linearly independent eigenvectors of.