 Simultaneous diagonalization

A finite family of pairwise commuting diagonalizable operators on a finite-dimensional complex vector space is simultaneously diagonalizable. In particular, commuting Hermitian operators admit an orthonormal common eigenbasis.