原文:一个恒等式的证明