Hypotenuse Leg.
You have vertical angles so you have a hypotenuse, a leg, and an angle that is congruent.
We know that it’s not SAS because the angle is not between the two sides.
Additionally, we only have one congruent angle so it cannot be ASA.
The only theorem that meets the description is HL.
