Solution (source code)

= Solution

The <spectral theorem> for a <Hermitian matrix> supplies a <unitary matrix> $U$ and real diagonal matrix $D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n)$ with $A=UDU^\dagger$. This single representation gives all three conclusions below.