结合下图，用符号语言表达定理“同位角相等，两直线平行”的推理形式：
∵，

∴a∥b．