Von Neumann's Informal Hidden-Variable Argument