假设：两条直线被第三条直线所截,同位角不相等,但这两条直线平行.
假设的意思就是：原命题的否命题.
如果证得假设不成立,则相应的,原命题成立.