设a = b, b = c, 可以推断a = c.

• If a = b and b = c, we can deduce that a = c.