微积分关于导数的一个问题。图中的这个推理运用了双面定理?或者怎么证明?