Teoria Retas paralelas cortadas por uma transversal (Postulado de Euclides)

Os pares de ângulos $\hat 1$ e $\hat 5$, $\hat 2$ e $\hat 6$, $\hat 3$ e $\hat 7$, $\hat 4$ e $\hat 8$ são chamados de correspondentes e cada par é congruente entre si.

$$ \hat 1 \equiv \hat 5, \hat 2 \equiv \hat 6, \hat 3 \equiv \hat 7, \hat 4 \equiv \hat 8$$