この手順では仮定と式 b<0b<0b<0、c=f(b)<0c=f(b)<0c=f(b)<0、f(c)=2cf(c)=2cf(c)=2c、y=cy=cy=c、f(x)=2xf(x)=2xf(x)=2x、xxx を用いて、示された結論を導く。