この手順では仮定と式 x,yx,yx,y、x≠±yx\ne\pm yx=±y、f(rx)=f(x)f(rx)=f(x)f(rx)=f(x)、r≠1r\ne1r=1、fff を用いて、示された結論を導く。