The "theorem/proofs" are worked examples in this context since that is what mathematicians do all day. The ubiquitous "existence proof" is just about showing an object satisfying a property exists without actually giving an example.

Higher math is a big exercise in shifting symbols around. If you don't have an intrinsic motivation to solve puzzles you will hate higher math.