Redirecting to Stone–von Neumann theorem