若同一个量可以用两个形式不同的式子表示,则__相等