If the line is perpendicular to one of two parallel lines then this line is parallel to another of these lines.