Hyperlinking wouldn't provide much help. It's easy to prove this because academics have been hyperlinking for hundreds of years. A lay person finding the connec

Hyperlinking wouldn't provide much help. It's easy to prove this because academics have been hyperlinking for hundreds of years. A lay person finding the connection between [21,45,48,60] and the "trivial" step of theorem 15 is the problem. So, hyperlinking is not what is needed for outsiders. What's needed is lots of extra exposition and explicit connection-building/hand-holding/narration. The result of the hard work of doing so is typically called "a book". Which, hopefully, makes it clear why no author does this exposition and connection-building work for everything they write...