Qual è il contrario del teorema degli angoli interni alternati?

Ricordiamo il teorema degli angoli interni alternati.
Se due linee sono parallele
quindi gli angoli interni alternati formati da queste due linee con un incrocio intersecante sono congruenti.

La figura sopra illustra questo teorema che può essere espresso simbolicamente come

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

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

Qui la premessa di un teorema è
due linee sono parallele.

La conclusione è
gli angoli interni alternati formati da queste due linee con un incrocio intersecante sono congruenti.

Converse il teorema è quello ottenuto prendendo una conclusione come premessa di un teorema e una premessa - come conclusione.
Quindi, sarebbe simile a questo:
Se angoli interni alternati formati da due linee con un incrocio che si intersecano sono congruenti
quindi queste due linee sono parallele.

Usando la stessa figura sopra, questo teorema contrario può essere espresso simbolicamente come

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

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