每个非零绝对值组都平衡,零也可彼此配对。因此多重集由四个相反数对组成。反之每对在奇数 nnn 时贡献 xjn+(−xj)n=0x_j^n+(-x_j)^n=0xjn+(−xj)n=0,故有无穷多个 cnc_ncn 为零。