• 1. (2022七下·南京期末) 结合下图，用符号语言表达定理“同位角相等，两直线平行”的推理形式：
  ∵，

  ∴a∥b．