Every finite simple group falls into one of five categories:
This
theorem is also known as the `
enormous theorem'; its
proof is spread throughout the
mathematics literature and is estimated to be over 15,000
pages in length. The proof was finally completed in the early- to mid-
1980s.