设a=b,b=c,则a=c.

• If a = b and b = c it follows that a = c.