>>272
ご指摘ありがとうございます。おそらく私の理解力が不足していると
思うのですが、なぜそれを示せばいいのでしょうか？（その証明はすぐ出来ます）
例えば玉１(個数a1)に着目してそれが２分割(a1'とa2'')されたとします。 (a1=a1'+a1'')
この場合、元の総数をN、２分割の部分集合の総数を N' と N'' （N=N'+N''）とすると
玉１の寄与だけを考えると
全体のS： -(a1/N)log(a1/N)
部分のS2： -(a1'/N')log(a1'/N')-(a1''/N'')log(a1''/N'')
になります。ここで a1/N=a1'/N'+a1''/N'' が成立すればいいのですが、これは一般には
成立しないように思えるのですが…