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