von Neumann’s theorem and hidden-variable models