我们熟悉定理:平行于同一直线的两直线平行,数学符号语言为:∵a ∥ b,b ∥ c,∴a ∥ c.这个推理称为_____