Spectral theorem (finite-dim)

Hermitian A ∈ M_n(ℂ): A = U D U* with U unitary, D diagonal real. Orthonormal eigenbasis. Normal matrices similarly diagonalize.