Theorem

  • Let be a Unitary Matrix
  • Then, there exists a unitary matrix such that: is unitarily similar to the diagonal matrix