无限交换单群一定是素数阶循环群