それではIWTとその同類共の敗北と確定でよろしいかな？

答え合わせ行こうか

x+yとx*yに2倍してみる
2x+2y=2xy これを2xで割ると
y=2x/2x+2y/2x(通分の逆の操作)
y=1+y/x
ここで整数制約からこの式を成り立たせるには
x=yでないとこの式は成り立たないことが分かる

同じ数字ならyもxも2となる
足しても掛けても同じ値になるのは
2*2=2を2回足すの1つしか存在しない