如图，用符号语言表达定理“内错角相等，两直线平行”的推理形式：

∵，∴a∥b．