 Unitary diagonalization of a normal matrix

Every finite-dimensional complex normal matrix has an orthonormal eigenbasis, equivalentlyfor some unitary $U$ and diagonal $D$.