高数课本里的,验证微分方程的解直到(16)我都明白下面那句把它带到表达式里,成为一个恒等式,那个恒等式怎么导出来的?