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

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