两条直线平行内错角相等，这是平行线的性质定理。两直线平行内错角相等，是在两平线执行同位角相等这个性质的基础上推导出来的。因为两直线平行同位角相等，这是一个公理，同位角中的一个角的对顶角正好与另一个角构成内错角所以两直线平行内错角也相等。