なんというか回りくどいよな それと途中で出てくるa,bが特別な値なのかどうかがよくわからなくなる
y=a^3+b^3-a^2-b^2+ab-1
は(a,b)の組を定めればyの値が一意的に定まるが、
yの値を定めればその組以外にも式をみたす(a,b)が存在することを示せ ってこと？