根を r1,…,r8r_1,\ldots,r_8r1,…,r8 と書く。x7x^7x7 と x6x^6x6 の係数を比較すると、∑i=18ri=4\sum_{i=1}^8 r_i=4∑i=18ri=4 および ∑1≤i<j≤8rirj=7\sum_{1\le i<j\le8}r_ir_j=7∑1≤i<j≤8rirj=7 を得る。