由同位角相等,对顶角相等证明
两直线平行同位角相等,而两直线平行同位角相等,是公理