请解释一下这两个式子为什么相等.