(x+y)^p + (X+Y)^p ≦ (x+y+X+Y)^p
(x+Y)^p + (X+y)^p ≦ (x+y+X+Y)^p

これは分かるが、あとのゴミは何だ?