平行线两直线的内错角相等,这是个公理还是推理如果是定理,是怎么演绎的?