跳到主要内容

如果两个表达式恒等,就可以用其中一个替换另一个。

If two expressions are identical, one can replace the other.