已知命题“如果两条平行线被第三条所截,那么一对内错角的平行线互相平行.”