対称式とか言うてるあたりでこんな感じになるんじゃないかな↓

・任意の奇数の完全数yについて、あるzとxがありz=f(x,y)とかける
・ところでfは対称式
・f(x,y)=f(y,x)よりxに関する式x=g(z,y)のxにyを代入することができる
・y=g(z,y)をガチャガチャすると矛盾が生じてQED