If a fintie group G acts topologically and faithfully on R^3, then G is a subgroup of O(3)
生成讲解博客的中文版本
生成AI智能校验的中文版本