Qual é o inverso do teorema dos ângulos interiores alternativos?

Vamos relembrar o Teorema Alternativo dos Ângulos Interiores.
Se duas linhas são paralelas
então, ângulos internos alternados formados por essas duas linhas com uma travessia de interseção são congruentes.

A figura acima ilustra esse teorema que pode ser expresso simbolicamente como

#IF (l_1 || l_2) THEN (alpha=beta)#

or
#(l_1 || l_2) => (alpha=beta)#

Aqui a premissa de um teorema é
duas linhas são paralelas.

A conclusão é
ângulos internos alternados formados por essas duas linhas com um percurso de interseção são congruentes.

Converse o teorema é o obtido pela conclusão como premissa de um teorema e premissa - como conclusão.
Então, ficaria assim:
Se ângulos interiores alternativos formados por duas linhas com um percurso de interseção são congruentes
então essas duas linhas são paralelas.

Usando a mesma figura acima, esse teorema inverso pode ser expresso simbolicamente como

#IF (alpha=beta) THEN (l_1 || l_2)#

or
#(alpha=beta) => (l_1 || l_2)#