the diagonalization of a normal matrix by a unitary transformation.

• 这一关系在对角化后仍旧为真。