A 确定三维空间中由真旋转构成的所有有限群[1]