Talk:Von Neumann's theorem