Von Neumann's no hidden variables proof