两直线平行，同位角相等。是 公理 ，两直线平行，内错角相等。两直线平行，同旁内角互补。这也是两条性质，都可以从第一条用推理的格式证明。他们的题设都是“两直线平行，”，结论分别是同位角相等，内错角相等，同旁内角互补。就是先有平行，再用角的关系
在同一平面上，一条直线到另一条直线的距离处处相等的两条直线。或者说是在同一平面上，永不相交的两条直线。一定是在同一平面！
两直线平行，同位角相等。是 公理 由他来推出 其他定理
