If two lines intersect to form adjacent congruent angles then the lines are?

That is an important theorem in geometry: if two lines intersect to form adjacent congruent angles, then the lines are perpendicular. Those congruent angles would be right angles.