Halmos–von Neumann Theorem