This shows the desired equality.
这证明了想要的相等性。