Answer: The theorem he used is the SAS (side-angle-side) theorem. The diagram actually depicts 2 sides and 1 angle, but the angle is not sandwiched by the sides, meaning it would be a SSA, not SAS.
Explanation:
For Antonio to be correct, the angle would have to be between the two given side lengths, so it would have to be angle A or angle T.