Ｆ(x,y)＝0…①
Ｇ(x,y)＝0…②
式①、②がありその式がx、yについての対称式なら①－②は必ず因数分解できることを示せ。

どうするのですか？
こういう抽象度の高い証明問題はどうすればいいのでしょうか？