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

• 设 a=b，b=c，则 a=c。