Which theorem should you use?
Use when two corresponding angles already match. Use when two sides are proportional and the included angle matches.
Use when all three corresponding side ratios agree. The tool keeps the proof short so the theorem choice stays obvious.