Alternate Interior Angle Theorem

Proof.

Since $k\parallel l$ , by the Corresponding Angles Postulate ,

$\angle 1\cong \angle 5$ .

Therefore, by the definition of congruent angles ,

$m\angle 1=m\angle 5$ .

Since $\angle 1$ and $\angle 2$ form a linear pair , they are supplementary , so

$m\angle 1+m\angle 2=180°$ .

Also, $\angle 5$ and $\angle 8$ are supplementary, so

$m\angle 5+m\angle 8=180°$ .

Substituting $m\angle 1$ for $m\angle 5$ , we get

$m\angle 1+m\angle 8=180°$ .

Subtracting $m\angle 1$ from both sides, we have

$\begin{array}{l}m\angle 8=180°-m\angle 1\\ =m\angle 2\end{array}$ .

Therefore, $\angle 2\cong \angle 8$ .

You can prove that $\angle 3\cong \angle 5$ using the same method.