逆にこの時確かにそうなる。

逆に,このとき与式は確かに恒等式になる