同位角相等,两直线平行用几何语言表述.