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