x_1=x_2=・・・=x_8のときに成り立たんわな