qnli question: What did von Neumann use the Haar theorem to solve in a 1936 paper? sentence: In his 1936 paper on analytic measure theory, he used the Haar theorem in the solution of Hilbert's fifth problem in the case of compact groups.