• 1. (2022七下·路北期中) 如图，用符号语言表达定理“内错角相等，两直线平行”的推理形式：

  ∵，∴a∥b．