I wonder how many other results in maths require an entire book length treatment (or multiple book length treatments)? The one that jumps out to my mind is Gödel's Incompleteness Theorem(s)[1]. I know there are at least a couple of complete books dealing exclusively with this result.
[1]: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...