两直线平行,同位角互补.是什么命题?