Beweist und nutzt die orthogonale beziehungsweise unitäre Diagonalisierung symmetrischer, hermitescher und normaler Matrizen.
