(a) alternate interior angles theorem
We say this because ∠3 and ∠5 are in the interior of the transversal and are also on each others alternate sides , hence we say that ∠3 ≅ ∠5 under the alternate interior angles therem ( alternate interior angles are always equal )