If a = b, and b = c, then the necessary conclusion is that a = c.

• 设a = b； b = c； 则结论必定是a = c.