The classification theorem of finitesimplegroups, also known as the "enormous theorem," which
states that the finitesimple
groups can be classified completely into

Cartwright, M. "Ten Thousand Pages to Prove Simplicity." New Scientist109, 26-30, 1985.Cipra, B. "Are Group
Theorists Simpleminded?" What's
Happening in the Mathematical Sciences, 1995-1996, Vol. 3. Providence,
RI: Amer. Math. Soc., pp. 82-99, 1996.Cipra, B. "Slimming
an Outsized Theorem." Science267, 794-795, 1995.Gorenstein,
D. "The Enormous Theorem." Sci. Amer.253, 104-115, Dec.
1985.Solomon, R. "On Finite Simple Groups and Their Classification."
Not. Amer. Math. Soc.42, 231-239, 1995.Wells, D. The
Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England:
Penguin Books, p. 57, 1986.