Теорема Тихонова равносильна аксиоме выбора
(Кэли доказал).

Не Кэли (Cayley), чьи октавы, а Келли (Kelley), чья "Общая топология".


Оказывается,
он хотел решить пятую проблему Гильберта
(доказать, что топологическая группа, которая
является многообразием, есть группа Ли).
И фон Нойман, много общаясь с Хааром, эту проблему
действительно решил.

Всё-таки, пятую проблему Гильберта решили Монтгомери, Зиппин, Глисон и Ямабе, а не фон Нейман.

"Такие дела", ага.