恒等式的证明