I personally absolutely love this theorem, and have found a bunch more of these puzzles (which I’ve dubbed tricons) for anyone who would like more. These include: spb, uxi, kwh, eeq, mbt, ssc (has 2 answers), xac, tyc (2), dmo (2), rsl (2), ael (2), riw, uqu, wbl, ddr, awt, bti, lsp (2), wkw, ggp, lmm, pco (2), htr (2), hhe, fpr, tiw.

Good luck!

First puzzle I couldn't get even with all the hints.

I have slight colorblindness and didn't even realize until I came here that some of the underlines are a different color. For those with the same issue, the highlighted letters are: 5 4 6 8 7 9 4 2 7 7.

Bushwhacks could work for #6 and was all I could think of for forever!

I'm pretty sure I have all the answers, but the underlined letters seem like gibberish to me. Any more hints?

For FEG SOLFEGGIO fits and is in the dictionary but this is not the word in the "solution."

For FWA the word OFFWARD fits the requirement as well. It's in the Merriam Webster dictionary. Unfortunately it doesn't provide the letter needed for the answer but M missed this.

I was really excited when workbench popped into my head on first glance for RKB, and then pretty bummed when it did not fit. This one was quite interesting, and as a board game nerd, I'm excited to try Snippets

Before getting the right word for PWR, I came up with shipwright.

Damn the internet for providing utilities for this kind of thing. I got two on my own (later to find that one was in the first hint making me feel it wasn’t that much of a feat). In hindsight, I would rather have followed the hints than using a tool from freedictionary.