怎样证明无限循环群和任意循环群同态?