"Hilbert space representation theorem" . . . . "Hilbert space representation theorem" .