If two lines are parallel, then any line perpendicular
to one is perpendicular
to the other.