“两直线平行，同位角相等．”是公理，是无法证明的，书上给的也只是说明而已，并没有给出严格证明，而“两直线平行，内错角相等“则是由上面的公理推导出来的，利用了对等角相等做了一个替换，上面两位给出的都不是严格的证明。