>>500の間違いは

x-y=k を代入しても

次数はひとつも減っていないところが問題だったのでしょうか?