<human>: Question: What did von Neumann use the Haar theorem to solve in a 1936 paper?

Is "In a number of von Neumann's papers, the methods of argument he employed are considered even more significant than the results." the correct answer?

OPTIONS:
- yes
- no
<bot>: no