https://flecart.github.io/notes/spectral-theorem/