恒等式与等式是传递关系

• identity and equality are transitive relations