Alternate interior angles are a pair of angles formed when a transversal line crosses two coplanar lines,
with both angles between the crossed lines and on opposite sides of the transversal.
If the two crossed lines are parallel lines, each
pair of alternate interior angles is congruent. Conversely,
if a pair of alternate interior angles is congruent,
the two crossed lines are parallel.
