Định lý Stone – von Neumann