证明交换单环为素数阶循环群