同位角相等,两直线平行.的题设是什么,题设需要改成如果那么的形式吗?