Did you know that John von Neumann 's theorem that every closed real matrix group is a Lie group inspired Élie Cartan to prove a generali­za­tion, the closed subgroup theorem ?